#include "tkc/types_def.h"

__attribute__((weak, noreturn)) void
__aeabi_assert(const char *expr, const char *file, int line) {
  for (;;) {
  }
}
